Synchronous Thread Management in a Distributed Operating System's Micro Kernel
نویسندگان
چکیده
This paper describes an experiment in programming part of an operating system kernel using the Esterel synchronous programming language. Using a synchronous programming language allows the construction of provable, deterministic reactive systems. The paper describes and analyzes the small executive realized and the formal veri cation of some of its properties. It also presents how multiple interconnected instances of this executive can be synchronized, yielding a distributed real-time platform operating under a sparse-time model.
منابع مشابه
Real-Time Scheduling and Synchronization in Real-Time Mach
A micro kernel-based operating system architecture is becoming common for advanced distributed computing systems. Advantages of using such micro kernel for real-time applications is that the preemptability of the kernel is better, the size of the kernel becomes much smaller, and addition of new service is easier. However, such a micro kernel alone cannot provide a predictable, distributed real-...
متن کاملSupporting continuous media applications in a micro-kernel environment
Currently, popular operating systems are unable to support the end-toend real-time requirements of distributed continuous media. Furthermore, the integration of continuous media communications software into such systems poses significant challenges. This paper describes a design for distributed multimedia support in the Chorus micro-kernel operating system environment which provides the necessa...
متن کاملExtending the Chorus Micro-Kernel to Support Continuous Media Applications
Currently, popular operating systems are unable to support the end-to-end real-time requirements of distributed continuous media. Furthermore, the integration of continuous media communications software into such systems poses significant challenges. This paper describes a design for distributed multimedia support in the Chorus micro-kernel operating system environment which provides the necess...
متن کاملTECHNICAL REPORT 94-02 A Framework for Minimizing Thread Management Overhead Based on Asynchronous Cooperation between User and Kernel Schedulers
The performance of thread mechanism is dominated primarily by two kinds of thread-switching overheads: vertical switching (user/kernel domain switching) and horizontal switching (context switching between threads). Ideally, vertical switchings should occur only when system calls or external interrupts are invoked. Horizontal switchings within a user address space should occur only when threads ...
متن کاملA Distributed Micro–Kernel for Communications Messengers
Mobile software agents require a distributed execution environment in which they can command the use of many resources like memory, CPU time and bandwidth. While current research seems to concentrate on roaming agents at the application level and tries to define suitable high–level environments, we think that such an execution environment must be rooted at a very low–level. We argue that these ...
متن کامل